Abelian Group
Definition
A group \((G, \ast)\) is said to be abelian if the underlying operator also satisfies the commutative law:
\[ a \ast b = b \ast a \quad \forall a, b \in G.\]